temporal constraint造句
造句與例句
手機(jī)版
- A temporal constraint-based nonlinear planner
：時(shí)序限制式非線性規(guī)劃器 - And further, the model adds temporal constraint in permissions inheritance, i . e . only the permissions owned by the role that meets time requirement can be inherited
另外，該模型在權(quán)限的繼承中也加入了時(shí)間約束，使得只有滿足時(shí)間條件要求的角色的權(quán)限才可以被繼承。 - As a result of integrating planning and scheduling, msspmf is ableto describe resource and temporal constraints, and to provide the description of state, and tosupporttheautogeneratingofactivitiesset
msspmf結(jié)合了規(guī)劃和調(diào)度兩方面的特點(diǎn),能有效的描述資源和時(shí)態(tài)約束,并提供了系統(tǒng)狀態(tài)的描述機(jī)制,支持活動集的自動生成。 - Modeling the control flow, temporal constraints and data flow of workflow based on uml statecharts respectively, and then verifying the correctness of them by formal method is the main contribution in this paper
由于工作流模型驗(yàn)證的重要性和必要性,本文基于uml狀態(tài)圖分別建立單個(gè)工作流的控制結(jié)構(gòu)、時(shí)序約束和數(shù)據(jù)流模型,并應(yīng)用形式化方法驗(yàn)證模型正確性。 - Compared to the relational database systems, the rtdbs have three distinguishing features : the requirement of temporal constraints on data, the requirement of timing constraints on transactions, and the requirement that certain executions exhibit predictable timing behavior
與傳統(tǒng)關(guān)系數(shù)據(jù)庫相比，實(shí)時(shí)數(shù)據(jù)庫具有三個(gè)特征:數(shù)據(jù)的時(shí)態(tài)一致性、事務(wù)的時(shí)態(tài)一致性、實(shí)時(shí)事務(wù)執(zhí)行時(shí)必須具有可預(yù)測性。 - Last, the temporal constraints are verified by alur ’ s model checking algorithm . this paper also verify the correctness of the data flow of the workflow . the data flow objects are added into the uml statecharts, and the semantic of data flow is
驗(yàn)證數(shù)據(jù)流正確性的過程中,在uml狀態(tài)圖中加入了數(shù)據(jù)流對象,定義了uml狀態(tài)圖的數(shù)據(jù)流語義,根據(jù)該語義給出了從uml狀態(tài)圖到全局狀態(tài)可達(dá)圖的轉(zhuǎn)化算法,提出了驗(yàn)證數(shù)據(jù)流正確性的算法。 - The software system of smart spaces distinguishs ifself from traditional distributed systems in that : 1 ) they should deliver functionality in our everyday world, which is a complex and dynamic changing environment; 2 ) the system will consist of many wireless networked devices, while wireless connection is prone to transient failure; 3 ) the interaction points for the people are distributed and multimodal, which imposes tight temporal constraints on the messaging between related modules; 4 ) modules coming from diversified domains need to cooperate, which raise the need for an abstraction model at a proper level for the construction of the system
智能空間系統(tǒng)具有區(qū)別于傳統(tǒng)分布式系統(tǒng)的新特征：1）背景環(huán)境是復(fù)雜、動態(tài)的物理空間，新的模塊可能隨時(shí)進(jìn)入和離開；2）存在大量無線聯(lián)網(wǎng)設(shè)備，而無線網(wǎng)的一個(gè)典型特征是暫時(shí)性故障頻繁；3）系統(tǒng)的交互點(diǎn)是分布和多模態(tài)的，相關(guān)的模塊間消息的時(shí)間關(guān)系要求嚴(yán)格；4）各種不同應(yīng)用領(lǐng)域的模塊都可能需要交互協(xié)作，同時(shí)需要考慮對遺留代碼的包容性。 - Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram, and the algorithms verifying the soundness and the properties of semantic-related are given . at the aspect of verifying the consistency of temporal constraints of workflow, the time events are added into the uml statecharts, then the rules translating the extended uml statecharts into timed automata are given . the upper constraints ( the most time interval between two tasks ), lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl . the consistency of these constraints in build time, instantiation time and run-time are defined respectively
在驗(yàn)證工作流時(shí)序約束一致性方面,在uml狀態(tài)圖中加入了時(shí)間事件,給出了將擴(kuò)展后的uml狀態(tài)圖轉(zhuǎn)化為時(shí)間自動機(jī)的規(guī)則,用時(shí)間計(jì)算樹邏輯定義了兩個(gè)任務(wù)間的最大、最小時(shí)間間隔(上、下界約束)和工作流的最終期限約束,并給出了這三類約束分別在創(chuàng)建階段、實(shí)例化階段和運(yùn)行階段的一致性定義,通過alur的算法對時(shí)序約束一致性進(jìn)行驗(yàn)證。 - The rtsql includes extensions that specify : temporal constraints on data, timing constraints on execution, bounds on use of system resources for predictability, and flexible transaction structure that relaxes traditional acid transaction properties to better support real-time requirements . a framework for the implementation of rtsql is provided in this paper
對sql92的擴(kuò)展主要體現(xiàn)在:數(shù)據(jù)時(shí)態(tài)一致性約束的表達(dá)和檢測，事務(wù)執(zhí)行時(shí)態(tài)一致性約束的表達(dá)和檢測，為提高事務(wù)執(zhí)行的可預(yù)測性而對其使用的系統(tǒng)資源進(jìn)行限制性說明，以及為了更好適應(yīng)實(shí)時(shí)要求而提供靈活acid特性的事務(wù)結(jié)構(gòu)說明。 - It's difficult to see temporal constraint in a sentence. 用temporal constraint造句挺難的
如何用temporal constraint造句，用temporal constraint造句，temporal constraint in a sentence, 用temporal constraint造句和temporal constraint的例句由查查漢語詞典提供，版權(quán)所有違者必究。